Extended Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Extended Mathematical Programming
Results: 33

#	Item
11	A Multiple Objective View on Robust Optimization and Stochastic Programming Kathrin Klamroth Department of Mathematics and Natural Sciences University of Wuppertal, Germany Many real world optimization problems are conta Add to Reading List Source URL: grk1855.tu-dortmund.de Language: English - Date: 2015-03-06 12:02:33 Mathematical optimization Operations research Mathematical analysis Software Numerical analysis Stochastic programming Robust optimization Stochastic Stochastic optimization Extended Mathematical Programming
12	An Integrated Transport Network-Computable General Equilibrium Models for Zurich Thomas F. Rutherford and Renger van Nieuwkoop ∗ Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 04:58:25 Transport Transportation planning Route assignment Traffic flow Computable general equilibrium Land-use forecasting Draft:Extended mathematical programming
13	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic
14	Noname manuscript No. (will be inserted by the editor) Extended Formulations in Mixed Integer Conic Quadratic Programming Juan Pablo Vielma, Iain Dunning, Joey Huchette and Miles Add to Reading List Source URL: web.mit.edu Language: English - Date: 2016-02-05 13:12:19 Operations research Combinatorial optimization Approximations Mathematical optimization Relaxation Linear programming relaxation Linear programming Integer programming Approximation algorithm Constructible universe
15	Distance Makes the Types Grow Stronger: A Calculus for Diﬀerential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce Add to Reading List Source URL: privacy.cis.upenn.edu Language: English - Date: 2012-01-30 20:07:59 Mathematical analysis Symbol Continuous function Valuation Programming language semantics Orbifold Normalisation by evaluation Abstract algebra Mathematics Algebraic geometry
16	C:/Documents and Settings/mazhj/Desktop/Extended Abstract/abstract.dvi Add to Reading List Source URL: www.tsp.ece.mcgill.ca Language: English - Date: 2006-07-25 12:31:24 Systems theory Systems science Optimal control Dynamic programming Mathematical optimization Control theory Operations research
17	On Lagrangian Relaxation and Subset Selection Problems (Extended Abstract) Ariel Kulik∗ Hadas Shachnai† Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-23 10:33:06 Theoretical computer science Computational complexity theory Relaxation Linear programming Approximation algorithm Lagrangian relaxation Duality Spectral theory of ordinary differential equations Euclidean algorithm Mathematical optimization Mathematical analysis Convex optimization
18	Optimality, Fairness, and Robustness in Speed Scaling Designs — Extended Version Lachlan L.H. Andrew Centre for Advanced Internet Architectures Swinburne University of Technology, Australia Add to Reading List Source URL: www.caia.swin.edu.au Language: English - Date: 2010-04-29 23:40:46 Equations Optimal control Systems engineering Systems theory Systems science Mathematics Mathematical optimization Operations research Dynamic programming
19	Optimality, Fairness, and Robustness in Speed Scaling Designs — Extended Version Lachlan L.H. Andrew Centre for Advanced Internet Architectures Swinburne University of Technology, Australia Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:20 Equations Optimal control Systems engineering Systems theory Systems science Mathematics Mathematical optimization Operations research Dynamic programming
20	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving